منابع مشابه
Dynamic Safety Analysis CNG Stations Using Fault Tree Approach and Bayesian Network
Introduction: The safety of CNG stations is important because of their location in urban areas, as well as to prevent accidents and to protect the safety of personnel, property, and environment. An event occurrence analysis with probability updating is the key to dynamic safety analysis. Methods and materials: In this study, the Failure Modes and Effects Analysis (FMEA) technique was used to d...
متن کاملFormal fault tree construction and system safety analysis
Fault Tree Analysis is a traditional deductive safety analysis technique that is applied during the system design stage. However, traditional fault trees often suffer from a lack of formal semantics to check the correctness or consistency of the descriptions. This is especially a problem in safety-critical system analysis. To overcome this limitation, we propose a novel formal fault tree constr...
متن کاملMapping Fault Tree into Fuzzy Algorithms for Nuclear Safety Analysis
In this paper a new method for mapping fault tree into fuzzy algorithms is introduced. This method is based on the minimal cut sets of a fault tree. This method is characterized by its one-to-one mapping from fault tree (FT) to fuzzy algorithm (FA) and vice versa. So it is consider a canonical method to map FTs into FA. Fault tree analysis (FTA) is a risk analysis technique to assess likelihood...
متن کاملElaboration of invariant safety properties from fault-tree analysis
Formal verification of PLC programs using model-checking requires to elaborate previously temporal logic formulae that state in a formal way the properties that must be checked. Unfortunately temporal logic is a formalism totally unknown by automation engineers. This explains why PLC programs developers willing to verify the behavior of their programs are unable to use the existing modelcheckin...
متن کاملUsing Fault Tree Analysis to Focus Mine Safety Research
Fault tree analysis is a systematic safety analysis tool that proceeds deductively from the occurrence of an undesired event (accident) to the identification of the root causes of that event. One recurring mine safety problem—a dozer falling into a void over a drawpoint on a coal surge pile—was analyzed using available, inexpensive fault tree programs on a personal computer. The analysis identi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Atomic Energy Society of Japan / Atomic Energy Society of Japan
سال: 1974
ISSN: 0004-7120
DOI: 10.3327/jaesj.16.298